var result = document.getElementById('result');
function callback(target, port, status) {
	result.value += target + ':' + port + ' ' + status + "\n";
};
function scan_with_form(form) {
	AttackAPI.PortScanner.scanTarget(callback, form.target.value, form.ports.value.split(','), form.timeout.value);
};
